complete additive group

[数] 完全加法群